newtype Reader e a = Reader (e -> a)